PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 8
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.001 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=8
Execution
Walltime:435.58000922203064s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at it.unimi.dsi.fastutil.ints.Int2DoubleOpenHashMap$MapEntrySet.iterator(Int2DoubleOpenHashMap.java:834)
	at de.tum.in.probmodels.model.Distribution.sumWeightedExcept(Distribution.java:125)
	at de.tum.in.pet.implementation.reachability.StateValuesReachability.lowerBound(StateValuesReachability.java:55)
	at de.tum.in.pet.implementation.reachability.StateValuesReachability.bounds(StateValuesReachability.java:31)
	at de.tum.in.pet.implementation.reachability.StateUpdateReachability.update(StateUpdateReachability.java:43)
	at de.tum.in.pet.sampler.UnboundedSampler.update(UnboundedSampler.java:263)
	at de.tum.in.pet.sampler.UnboundedSampler.update(UnboundedSampler.java:256)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:224)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveDtmc(ReachChecker.java:266)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:142)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)